大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

Automotive Model Predictive Control [electronic resource] : Models, Methods and Applications

0
索取号:
作者:Re、 Luigi.、Allg枚wer、 Frank.、Glielmo、 Luigi.、Guardiola、 Carlos.、Kolmanovsky、 Ilya.、SpringerLink (Online service)、
出版社:London : Springer London, 2010.

Supply Chain Engineering [electronic resource] : Useful Methods and Techniques

0
索取号:
作者:Dolgui、 Alexandre.、Proth、 Jean-Marie.、SpringerLink (Online service)、
出版社:London : Springer London, 2010.

Evaluating User Experience in Games [electronic resource] : Concepts and Methods

0
索取号:
作者:Bernhaupt、 Regina.、SpringerLink (Online service)、
出版社:London : Springer London : Imprint: Springer, 2010.

Programming Languages: Principles and Paradigms [electronic resource]

0
索取号:
作者:Gabbrielli、 Maurizio.、Martini、 Simone.、SpringerLink (Online service)、
出版社:London : Springer London, 2010.

Detection and Diagnosis of Stiction in Control Loops [electronic resource] : State of the Art and Advanced Methods

0
索取号:
作者:Jelali、 Mohieddine.、Huang、 Biao.、SpringerLink (Online service)、
出版社:London : Springer London, 2010.

Formal Methods: State of the Art and New Directions [electronic resource]

0
索取号:
作者:Boca、 Paul.、Bowen、 Jonathan P.、Siddiqi、 Jawed.、SpringerLink (Online service)、
出版社:London : Springer London, 2010.

Managing Supply Chain Risk and Vulnerability [electronic resource] : Tools and Methods for Supply Chain Decision Makers

0
索取号:
作者:Wu、 Teresa.、Blackhurst、 Jennifer.、SpringerLink (Online service)、
出版社:London : Springer London, 2009.

Fault-tolerant Flight Control and Guidance Systems [electronic resource] : Practical Methods for Small Unmanned Aerial Vehicles

0
索取号:
作者:Ducard、 Guillaume J.J.、SpringerLink (Online service)、
出版社:London : Springer London, 2009.

New Trends on Human鈥揅omputer Interaction [electronic resource] : Research, Development, New Tools and Methods

0
索取号:
作者:Mac铆as、 Jos茅 A.、Granollers Saltiveri、 Antoni.、Latorre、 Pedro M.、SpringerLink (Online service)、
出版社:London : Springer London, 2009.

Safety-Critical Systems: Problems, Process and Practice [electronic resource] : Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3鈥堆ebruary 2009

0
索取号:
作者:Dale、 Chris.、Anderson、 Tom.、SpringerLink (Online service)、
出版社:London : Springer London, 2009.

Model Predictive Control System Design and Implementation Using MATLAB庐 [electronic resource]

0
索取号:
作者:Wang、 Liuping.、SpringerLink (Online service)、
出版社:London : Springer London, 2009.

Simulation Methods for Reliability and Availability of Complex Systems [electronic resource]

0
索取号:
作者:Faulin、 Javier.、Juan、 Angel A.、Martorell、 Sebasti谩n.、Ram铆rez-M谩rquez、 Jos茅-Emmanuel.、SpringerLink (Online service)、
出版社:London : Springer London, 2010.

Formal Languages and Compilation [electronic resource]

0
索取号:
作者:Crespi Reghizzi、 Stefano.、SpringerLink (Online service)、
出版社:London : Springer London, 2009.

Principles of Programming Languages [electronic resource]

0
索取号:
作者:Dowek、 Gilles.、SpringerLink (Online service)、
出版社:London : Springer London, 2009.

A Course in Formal Languages, Automata and Groups [electronic resource]

0
索取号:
作者:Chiswell、 Ian M.、SpringerLink (Online service)、
出版社:London : Springer London, 2009.

Intelligent Environments [electronic resource] : Methods, Algorithms and Applications

0
索取号:
作者:Monekosso、 Dorothy.、Remagnino、 Paolo.、Kuno、 Yoshinori.、SpringerLink (Online service)、
出版社:London : Springer London, 2009.
最近添加的分类